WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

This paper presents the initial step of an aid design method earmarked for operational validation of hard real-time systems. We consider systems that are composed of sequential hard real-time jobs, which are embedded on centralized multiprocessor architectures. We introduce a model based upon untimed finite automata and meant to collect the operational behaviours of the system compatible with its time specifications, and we go on to provide a feasibility decision result for systems composed of jobs presenting CPU-loads which are exact values: execution times are not WCET values). This is why we call this approach WCET-free analysis. The results we have achieved likewise involve hardware specifications such as multi-processors and speeds of processors.